number of reflexive relations on a set proof